Efficient execution of recursive programs on commodity vector hardware
نویسندگان
چکیده
منابع مشابه
Efficient Parallel Execution of Irregular Recursive Programs
Programs whose parallelism stems from multiple re-cursion form an interesting subclass of parallel programs with many practical applications. The highly irregular shape of many recursion trees makes it dif-cult to obtain good load balancing with small overhead. We present a system called REAPAR that automatically parallelizes recursive C programs for SMP machines. Based on data from a single pr...
متن کاملOn the Efficient Execution of ProbLog Programs
The past few years have seen a surge of interest in the field of probabilistic logic learning or statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with mutually independent probabilities that they belong to a...
متن کاملEfficient Execution of Compressed Programs
EFFICIENT EXECUTION OF COMPRESSED PROGRAMS by Charles Robert Lefurgy Chair: Trevor Mudge Code compression is the technique of using data compression to reduce the program memory size for memory-limited, embedded computers. For system-on-a-chip designs, this reduces the system die area which lowers die cost. After compilation, the binary (native code) program is compressed and stored in the embe...
متن کاملEfficient Execution of Declarative Programs
Memoization is an optimization that provides asymptotic speedups, automatically achieving many of the benefits of dynamic programming. Memoization, however, trades off reduced execution time for additional required storage. This additional storage requirement can be reduced somewhat by using several techniques from incrementalization. The first technique, called pruning, statically identifies t...
متن کاملEfficient Execution of Recursive Integration Plans
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally complete answers to user queries and to execute user queries efficiently. We describe an approach to map re-cursive datalog programs into a streaming, data-flow execution system. We show that our method can be used in conj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2813885.2738004